PET

Benchmark
Model:philosophers-mdp v.1 (MDP)
Parameter(s)N = 80
Property:eat (prob-reach)
Invocation (default)
../PET-Tool/pet.sh reachability --precision 0.001 --relative-error --only-result -m philosophers-mdp.80.prism -p philosophers-mdp.80.props --property eat
Execution
Walltime:116.64551258087158s
Return code:1
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at org.roaringbitmap.RoaringArray.<init>(RoaringArray.java:54)
	at org.roaringbitmap.RoaringArray.<init>(RoaringArray.java:50)
	at org.roaringbitmap.RoaringBitmap.<init>(RoaringBitmap.java:1025)
	at de.tum.in.naturals.set.RoaringNatBitSetFactory.set(RoaringNatBitSetFactory.java:31)
	at de.tum.in.naturals.set.NatBitSetFactory.set(NatBitSetFactory.java:44)
	at de.tum.in.naturals.set.NatBitSets.set(NatBitSets.java:562)
	at de.tum.in.probmodels.model.Distribution.<init>(Distribution.java:18)
	at de.tum.in.probmodels.model.Distribution.map(Distribution.java:137)
	at de.tum.in.probmodels.model.CollapseView.getChoices(CollapseView.java:99)
	at de.tum.in.pet.sampler.UnboundedSampler.sampleNextState(UnboundedSampler.java:234)
	at de.tum.in.pet.sampler.UnboundedSampler.sample(UnboundedSampler.java:158)
	at de.tum.in.pet.sampler.UnboundedSampler.run(UnboundedSampler.java:112)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:165)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:222)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solveMdp(ReachChecker.java:250)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:144)
	at de.tum.in.pet.implementation.reachability.ReachChecker.main(ReachChecker.java:356)
	at de.tum.in.pet.Main.main(Main.java:51)